2 Two - dimensional Artin groups with CAT ( 0 ) dimension three ∗
نویسنده
چکیده
We exhibit 3-generator Artin groups which have finite 2-dimensional Eilenberg-Mac Lane spaces, but which do not act properly discontinuously by semi-simple isometries on a 2-dimensional CAT(0) complex. We prove that infinitely many of these groups are the fundamental groups of compact, non-positively curved 3-complexes. These examples show that the geometric dimension of a CAT(0) group may be strictly less than its CAT(0) dimension. One way of associating a dimension to a discrete group G is to take the minimal dimension of a contractible free G-CW complex or, equivalently, to take the minimal dimension of a K(G, 1) complex. This is called the geometric dimension of G. For example, groups with torsion are infinite dimensional, and the dimension of Zn is equal to n. Contractible free G-CW complexes arise naturally in geometric group theory, where the contractibility of the G-CW complex is often a consequence of non-positive curvature. Specific instances include the case when G acts freely and properly discontinuously by isometries on a CAT(0) complex, and the case when a torsion free word-hyperbolic G acts on its Rips complex. Restricting attention now to the class of CAT(0) metric spaces which have the underlying topology of a CW-complex, we define the CAT(0) dimension of a group G to be the minimal dimension of such a space on which G acts properly discontinuously by semi-simple isometries, or ∞ if no such action exists. (See section 1 for the definitions of “CAT(0)” and “semi-simple”). Clearly the ∗The first author acknowledges support from the NSF and EPSRC. The second author acknowledges the support of a UK EPSRC Research Assistantship, and a grant from the Conseil Régional de Bourgogne. Both authors wish to thank the Faculty of Mathematical Studies, University of Southampton, for support, conversations and hospitality during the preparation of this work.
منابع مشابه
Two-dimensional Artin Groups with Cat(0) Dimension Three *
We exhibit 3-generator Artin groups which have finite 2-dimensional Eilenberg-Mac Lane spaces, but which do not act properly discontinuously by semi-simple isometries on a 2-dimensional CAT(0) complex. We prove that infinitely many of these groups are the fundamental groups of compact, non-positively curved 3-complexes. These examples show that the geometric dimension of a CAT(0) group may be s...
متن کاملOn the CAT(0) dimension of 2-dimensional Bestvina-Brady groups
Let K be a 2-dimensional finite flag complex. We study the CAT(0) dimension of the ‘Bestvina-Brady group’, or ‘Artin kernel’, ΓK . We show that ΓK has CAT(0) dimension 3 unless K admits a piecewise Euclidean metric of non-positive curvature. We give an example to show that this implication cannot be reversed. Different choices of K lead to examples where the CAT(0) dimension is 3, and either (i...
متن کاملThree dimensional FC Artin groups are CAT(0)
Building upon earlier work of T. Brady, we construct locally CAT(0) classifying spaces for those Artin groups which are three dimensional and which satisfy the FC (flag complex) condition. The approach is to verify the “link condition” by applying gluing arguments for CAT(1) spaces and by using the curvature testing techniques of M. Elder and J. McCammond.
متن کاملQuasi-isometric Classification of Some High Dimensional Right-angled Artin Groups
In this note we give the quasi-isometry classification for a class of right angled Artin groups. In particular, we obtain the first such classification for a class of Artin groups with dimension larger than 2; our families exist in every dimension.
متن کاملCat(0) and Cat(-1) Dimensions of Torsion Free Hyperbolic Groups
We show that a particular free-by-cyclic group G has CAT(0) dimension equal to 2, but CAT(-1) dimension equal to 3. Starting from a fixed presentation 2-complex we define a family of non-positively curved piecewise Euclidean “model” spaces for G, and show that whenever the group acts properly by isometries on any proper 2-dimensional CAT(0) space X there exists a Gequivariant map from the unive...
متن کامل